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