Bob is cold. Bob is green. Bob is red. Bob is smart. Bob is young. Erin is cold. Erin is kind. Erin is red. Erin is smart. Erin is young. Green, young things are furry. Red things are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Green, young things are furry.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Erin is furry.
True
2
proof
[(((triple8) -> rule2))]
("Erin" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple8) -> rule2))]
("Erin" "is" "furry" "-")
((triple8) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Bob is furry.[(((triple3) -> rule2) OR ((triple2 triple5) -> rule1))] Erin is furry.[(((triple8) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple8) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1