Bob is big. Bob is cold. Bob is nice. Bob is quiet. Bob is round. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Harry is kind. Harry is nice. Harry is quiet. Harry is round. If Harry is round and Harry is kind then Harry is cold. If someone is nice then they are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is round and Harry is kind then Harry is cold.
((("Harry" "is" "round" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "cold" "+"))
If someone is nice then they are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Harry is big.
True
2
proof
[(((triple14) -> rule2))]
("Harry" "is" "big" "+")
((triple14) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple14) -> rule2))]
("Harry" "is" "big" "-")
((triple14) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Erin is big.[(triple6 OR ((triple10) -> rule2))] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16)] @1: Harry is big.[(((triple14) -> rule2))] Harry is cold.[(((triple16 triple13) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple10) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Harry is big.
("Harry" "is" "big" "+")
((triple14) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple16 triple13) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1