Erin is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is cold. Harry is furry. Harry is rough. Harry is smart. All rough things are furry. All cold, rough things are big. All smart things are red.
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All cold, rough things are big.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple6)]
("Fiona" "is" "rough" "+")
triple6
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Erin is smart.[(triple1)] Fiona is big.[(triple2 OR ((triple3 triple6) -> rule2))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple6) -> rule1))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple9) -> rule1))] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Erin is red.[(((triple1) -> rule3))] Harry is big.[(((triple7 triple9) -> rule2))] Harry is red.[(((triple10) -> rule3))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
((triple3 triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((triple9) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1