Bob is not furry. Bob is not green. Bob is not nice. Bob is quiet. Charlie is quiet. Charlie is not red. Fiona is not big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Harry is big. Harry is quiet. Harry is red. Big people are not nice.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Big people are not nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "-"))
Harry is red.
True
1
proof
[(triple15)]
("Harry" "is" "red" "+")
triple15
Bob is green.
False
1
inv-proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Harry is not nice.
True
2
proof
[(((triple13) -> rule1))]
("Harry" "is" "nice" "-")
((triple13) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is nice.
False
2
inv-proof
[(((triple13) -> rule1))]
("Harry" "is" "nice" "+")
((triple13) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is not furry.[(triple1)] Bob is not green.[(triple2)] Bob is not nice.[(triple3)] Bob is quiet.[(triple4)] Charlie is not red.[(triple6)] Charlie is quiet.[(triple5)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Harry is big.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15)] @1: Harry is not nice.[(((triple13) -> rule1))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Charlie is not red.
("Charlie" "is" "red" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not big.
("Fiona" "is" "big" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is not nice.
("Harry" "is" "nice" "-")
((triple13) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1