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