Bob is big. Bob is blue. Bob is smart. If someone is kind and cold then they are big. Blue people are furry. Furry, blue people are kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is smart.
("Bob" "is" "smart" "+")
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Furry, blue people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Bob is smart.
True
1
proof
[(triple3)]
("Bob" "is" "smart" "+")
triple3
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Bob is furry.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule3))]
("Bob" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple2) -> rule2) triple2) -> rule3))]
("Bob" "is" "kind" "-")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is smart.[(triple3)] @1: Bob is furry.[(((triple2) -> rule2))] @2: Bob is kind.[(((((triple2) -> rule2) triple2) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2