Charlie is cold. Charlie is kind. Charlie is rough. Fiona is big. Gary is big. Gary is furry. Gary is kind. Gary is smart. Harry is cold. Harry is rough. If someone is red and furry then they are rough. Big people are rough. Cold, kind people are big.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is red and furry then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Cold, kind people are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Gary is smart.
True
1
proof
[(triple8)]
("Gary" "is" "smart" "+")
triple8
Fiona is not big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "-")
triple4
Fiona is rough.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3 OR ((((triple1 triple2) -> rule3)) -> rule2))] Fiona is big.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is smart.[(triple8)] Harry is cold.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is big.[(((triple1 triple2) -> rule3))] Fiona is rough.[(((triple4) -> rule2))] Gary is rough.[(((triple5) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((((triple1 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is smart.
("Gary" "is" "smart" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple1 triple2) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1