Charlie is kind. Charlie is quiet. Dave is furry. Dave is quiet. Dave is white. Dave is young. Fiona is not cold. Gary is blue. Gary is furry. Gary is quiet. If Fiona is young and Fiona is furry then Fiona is quiet. All white people are cold. If someone is quiet and blue then they are furry.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Fiona is young and Fiona is furry then Fiona is quiet.
((("Fiona" "is" "young" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet and blue then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Gary is quiet.
True
1
proof
[(triple10)]
("Gary" "is" "quiet" "+")
triple10
Charlie is not kind.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "kind" "-")
triple1
Dave is cold.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "cold" "-")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is not cold.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple10 triple8) -> rule3))] Gary is quiet.[(triple10)] @1: Dave is cold.[(((triple5) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple10 triple8) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1