Fiona is big. Fiona is cold. Harry is big. Harry is furry. Harry is red. Harry is smart. Harry is white. Red, white people are big. All cold people are furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Red, white people are big.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Harry is big.
True
1
proof
[(triple3 OR ((triple5 triple7) -> rule1))]
("Harry" "is" "big" "+")
triple3
((triple5 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
1
inv-proof
[(triple3 OR ((triple5 triple7) -> rule1))]
("Harry" "is" "big" "-")
triple3
((triple5 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Fiona is furry.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Harry is big.[(triple3 OR ((triple5 triple7) -> rule1))] Harry is furry.[(triple4)] Harry is red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Fiona is furry.[(((triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
((triple5 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1