Dave is big. Fiona is green. All green things are red. Red things are nice. All green, red things are smart. All big, nice things are quiet. All green, big things are smart. If Fiona is red and Fiona is smart then Fiona is round.
Dave is big.
("Dave" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
All green, red things are smart.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All big, nice things are quiet.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All green, big things are smart.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Fiona is red and Fiona is smart then Fiona is round.
((("Fiona" "is" "red" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "round" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is red.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "red" "+")
((triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "red" "-")
((triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Fiona" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((triple2 ((triple2) -> rule1)) -> rule3))]
("Fiona" "is" "smart" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is big.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is red.[(((triple2) -> rule1))] @2: Fiona is nice.[(((((triple2) -> rule1)) -> rule2))] Fiona is smart.[(((triple2 ((triple2) -> rule1)) -> rule3))] @3: Fiona is round.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple2) -> (rule1 % int3)) ((triple2 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3