Dave is big. Erin is big. Erin is cold. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. All furry things are white. If Erin is big then Erin is quiet. If Erin is quiet and Erin is cold then Erin is white. Big, cold things are smart. If Fiona is furry and Fiona is blue then Fiona is big. All blue things are white.
Dave is big.
("Dave" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Erin is big then Erin is quiet.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "quiet" "+"))
If Erin is quiet and Erin is cold then Erin is white.
((("Erin" "is" "quiet" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "white" "+"))
Big, cold things are smart.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
If Fiona is furry and Fiona is blue then Fiona is big.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "big" "+"))
All blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Fiona is smart.
True
1
proof
[(triple7 OR ((triple4 triple5) -> rule4))]
("Fiona" "is" "smart" "+")
triple7
((triple4 triple5) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not cold.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "cold" "-")
triple5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7 OR ((triple4 triple5) -> rule4))] @1: Erin is quiet.[(((triple2) -> rule2))] Erin is smart.[(((triple2 triple3) -> rule4))] @2: Erin is white.[(((((triple2) -> rule2) triple3) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple4 triple5) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple2 triple3) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2