Bob is big. Charlie is green. Fiona is furry. Fiona is kind. Fiona is white. Harry is big. Harry is furry. If Fiona is kind and Fiona is white then Fiona is green.
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Fiona is kind and Fiona is white then Fiona is green.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
Harry is big.
True
1
proof
[(triple6)]
("Harry" "is" "big" "+")
triple6
Fiona is not furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "-")
triple3
Fiona is green.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Fiona" "is" "green" "+")
((triple4 triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Fiona" "is" "green" "-")
((triple4 triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is big.[(triple1)] Charlie is green.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is white.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] @1: Fiona is green.[(((triple4 triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
((triple4 triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1