Bob is big. Bob is furry. Bob is green. Bob is not round. Bob is young. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is not round. Charlie is young. Harry is big. Harry is nice. Harry is round. Harry is young. If something is big and not blue then it is round. All young things are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is big and not blue then it is round.
((("something" "is" "big" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
All young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Charlie is young.
True
1
proof
[(triple12)]
("Charlie" "is" "young" "+")
triple12
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Harry is furry.
True
2
proof
[(((triple16) -> rule2))]
("Harry" "is" "furry" "+")
((triple16) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "furry" "-")
((triple16) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule2))] Bob is green.[(triple3)] Bob is not round.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8 OR ((triple12) -> rule2))] Charlie is green.[(triple9)] Charlie is nice.[(triple10)] Charlie is not big.[(triple6)] Charlie is not round.[(triple11)] Charlie is young.[(triple12)] Harry is big.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Harry is furry.[(((triple16) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple5) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not round.
("Bob" "is" "round" "-")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
((triple12) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is not big.
("Charlie" "is" "big" "-")
triple6
Charlie is not round.
("Charlie" "is" "round" "-")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Harry is furry.
("Harry" "is" "furry" "+")
((triple16) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1