Anne is big. Anne is cold. Anne is nice. Anne is round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is rough. Gary is big. Gary is green. Gary is not nice. Gary is rough. Gary is round. Harry is green. Harry is nice. All big things are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Gary is not big.
False
1
inv-proof
[(triple10)]
("Gary" "is" "big" "-")
triple10
Charlie is round.
True
2
proof
[(((triple5) -> rule1))]
("Charlie" "is" "round" "+")
((triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple5) -> rule1))]
("Charlie" "is" "round" "-")
((triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule1))] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is not nice.[(triple8)] Charlie is rough.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is not nice.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14 OR ((triple10) -> rule1))] Harry is green.[(triple15)] Harry is nice.[(triple16)] @1: Charlie is round.[(((triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is not nice.
("Gary" "is" "nice" "-")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Charlie is round.
("Charlie" "is" "round" "+")
((triple5) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1