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