Bob is blue. Bob is furry. Bob is nice. Bob is rough. Dave is blue. Dave is red. Dave is rough. Dave is round. Harry is cold. Harry is furry. Harry is nice. Harry is red. If someone is rough then they are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Dave is not rough.
False
1
inv-proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Dave is cold.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Dave is blue.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] @1: Bob is cold.[(((triple4) -> rule1))] Dave is cold.[(((triple7) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1