Bob is blue. Bob is cold. Bob is furry. Bob is nice. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is young. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If something is blue then it is furry.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Erin is young.
True
1
proof
[(triple15)]
("Erin" "is" "young" "+")
triple15
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is furry.
True
2
proof
[(((triple5) -> rule1))]
("Charlie" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple5) -> rule1))]
("Charlie" "is" "furry" "-")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule1))] Bob is nice.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is quiet.[(triple7)] Charlie is young.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11 OR ((triple9) -> rule1))] Erin is nice.[(triple12)] Erin is quiet.[(triple13)] Erin is smart.[(triple14)] Erin is young.[(triple15)] @1: Charlie is furry.[(((triple5) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
triple11
((triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1