Anne is cold. Bob is cold. Bob is furry. Bob is round. Gary is not big. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is round. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. If something is cold then it is big. If something is rough and not nice then it is red. If Anne is big then Anne is rough.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is rough and not nice then it is red.
((("something" "is" "rough" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If Anne is big then Anne is rough.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Harry is not round.
False
1
inv-proof
[(triple15)]
("Harry" "is" "round" "-")
triple15
Harry is big.
True
2
proof
[(((triple11) -> rule1))]
("Harry" "is" "big" "+")
((triple11) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple11) -> rule1))]
("Harry" "is" "big" "-")
((triple11) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Anne is rough.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Anne" "is" "rough" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Gary is furry.[(triple6)] Gary is nice.[(triple7)] Gary is not big.[(triple5)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Anne is big.[(((triple1) -> rule1))] Bob is big.[(((triple2) -> rule1))] Harry is big.[(((triple11) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule1)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is not big.
("Gary" "is" "big" "-")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple11) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2