Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is young. If Charlie is big and Charlie is furry then Charlie is rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is big and Charlie is furry then Charlie is rough.
((("Charlie" "is" "big" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Harry is not furry.
False
1
inv-proof
[(triple13)]
("Harry" "is" "furry" "-")
triple13
Charlie is rough.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "rough" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is rough.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is young.[(triple15)] @1: Charlie is rough.[(((triple1 triple3) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1