Bob is red. Fiona is furry. Gary is round. If Gary is big and Gary is cold then Gary is round. Young, blue things are red. If something is red and blue then it is cold. All round things are red. If Fiona is young then Fiona is round. All red things are big. Blue, cold things are young. If Bob is big then Bob is furry.
Bob is red.
("Bob" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is big and Gary is cold then Gary is round.
((("Gary" "is" "big" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "round" "+"))
Young, blue things are red.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is red and blue then it is cold.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If Fiona is young then Fiona is round.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Blue, cold things are young.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Bob is big then Bob is furry.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "furry" "+"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Gary is red.
True
2
proof
[(((triple3) -> rule4))]
("Gary" "is" "red" "+")
((triple3) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "big" "-")
((triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@3: Fiona is red.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- FAIL)]]
("Fiona" "is" "red" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "young" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is red.[(triple1)] Fiona is furry.[(triple2)] Gary is round.[(triple3)] @1: Bob is big.[(((triple1) -> rule6))] Gary is red.[(((triple3) -> rule4))] @2: Bob is furry.[(((((triple1) -> rule6)) -> rule8))] Gary is big.[(((((triple3) -> rule4)) -> rule6))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2