Anne is nice. Anne is round. Anne is smart. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Gary is big. Gary is blue. Gary is kind. Gary is round. If Gary is smart then Gary is kind. Blue, kind people are smart. All smart, red people are round.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is smart then Gary is kind.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "kind" "+"))
Blue, kind people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All smart, red people are round.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple11)]
("Gary" "is" "kind" "+")
triple11
Fiona is not nice.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "nice" "-")
triple7
Gary is smart.
True
3
proof
[(((triple10 triple11) -> rule2))]
("Gary" "is" "smart" "+")
((triple10 triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
3
inv-proof
[(((triple10 triple11) -> rule2))]
("Gary" "is" "smart" "-")
((triple10 triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is round.
True
5
proof
[(((((triple5 triple6) -> rule2) triple8) -> rule3))]
("Fiona" "is" "round" "+")
((((triple5 triple6) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not round.
False
5
inv-proof
[(((((triple5 triple6) -> rule2) triple8) -> rule3))]
("Fiona" "is" "round" "-")
((((triple5 triple6) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is round.[(triple12)] @1: Fiona is smart.[(((triple5 triple6) -> rule2))] Gary is smart.[(((triple10 triple11) -> rule2))] @2: Fiona is round.[(((((triple5 triple6) -> rule2) triple8) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple5 triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple10 triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple5 triple6) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2