Bob is furry. Bob is quiet. Bob is round. Bob is white. Bob is not young. Charlie is furry. Charlie is not round. Charlie is young. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is white. Gary is cold. Gary is furry. Gary is young. All cold things are round. If something is young and not cold then it is not round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is young and not cold then it is not round.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "is" "round" "-"))
Charlie is not round.
True
1
proof
[(triple7)]
("Charlie" "is" "round" "-")
triple7
Fiona is not quiet.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "quiet" "-")
triple10
Gary is round.
True
2
proof
[(((triple13) -> rule1))]
("Gary" "is" "round" "+")
((triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple13) -> rule1))]
("Gary" "is" "round" "-")
((triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Bob is furry.[(triple1)] Bob is not young.[(triple5)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Charlie is furry.[(triple6)] Charlie is not round.[(triple7)] Charlie is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)] Gary is cold.[(triple13)] Gary is furry.[(triple14)] Gary is young.[(triple15)] @1: Gary is round.[(((triple13) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is not round.
("Charlie" "is" "round" "-")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
((triple13) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1