Charlie is cold. Charlie is green. Charlie is nice. Dave is green. Dave is round. Dave is smart. Erin is green. Fiona is blue. Fiona is green. Fiona is nice. If Charlie is nice and Charlie is round then Charlie is smart. Nice, cold things are round.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Charlie is nice and Charlie is round then Charlie is smart.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "smart" "+"))
Nice, cold things are round.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple7)]
("Erin" "is" "green" "-")
triple7
Charlie is round.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Charlie" "is" "round" "+")
((triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Charlie" "is" "round" "-")
((triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "smart" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not smart.
False
5
inv-proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "smart" "-")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Erin is green.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] @1: Charlie is round.[(((triple3 triple1) -> rule2))] @2: Charlie is smart.[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
((triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2