Charlie is big. Charlie is cold. Charlie is round. Fiona is big. Fiona is blue. Fiona is red. Fiona is smart. All smart, big things are round. All cold things are red. All round, smart things are furry.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All smart, big things are round.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All round, smart things are furry.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Charlie is not cold.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "cold" "-")
triple2
Fiona is round.
True
3
proof
[(((triple7 triple4) -> rule1))]
("Fiona" "is" "round" "+")
((triple7 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "red" "-")
((triple2) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is red.[(((triple2) -> rule2))] Fiona is round.[(((triple7 triple4) -> rule1))] @2: Fiona is furry.[(((((triple7 triple4) -> rule1) triple7) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple7 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple7 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2