Charlie is furry. Charlie is green. Dave is big. Dave is blue. Dave is furry. Dave is red. Fiona is green. Fiona is quiet. Fiona is young. Gary is big. Gary is green. Gary is young. If Fiona is green then Fiona is red. Blue, red people are quiet. All quiet, green people are big.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is green then Fiona is red.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "red" "+"))
Blue, red people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, green people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Fiona is quiet.
True
1
proof
[(triple8)]
("Fiona" "is" "quiet" "+")
triple8
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Fiona is red.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is not quiet.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("Dave" "is" "quiet" "-")
((triple4 triple6) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is quiet.
Unknown
rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "quiet" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is red.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is young.[(triple12)] @1: Dave is quiet.[(((triple4 triple6) -> rule2))] Fiona is big.[(((triple8 triple7) -> rule3))] Fiona is red.[(((triple7) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 triple7) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1