Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is white. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is white. Erin is cold. Erin is furry. All cold people are furry. If someone is kind and blue then they are cold. Cold people are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Bob is quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "+")
triple4
Erin is not furry.
False
1
inv-proof
[(triple12 OR ((triple11) -> rule1))]
("Erin" "is" "furry" "-")
triple12
((triple11) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Bob is furry.
True
2
proof
[(((triple2) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))]
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))]
("Bob" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple1) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8 OR ((triple6) -> rule3))] Charlie is quiet.[(triple9)] Charlie is white.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12 OR ((triple11) -> rule1))] @1: Bob is furry.[(((triple2) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))] Bob is nice.[(((triple2) -> rule3) OR ((((triple3 triple1) -> rule2)) -> rule3))] Charlie is furry.[(((triple6) -> rule1))] Erin is nice.[(((triple11) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3 triple1) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
((triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
((triple11) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3 triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple11) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1