Anne is not big. Anne is not kind. Anne is red. Anne is round. Anne is not smart. Anne is white. Bob is cold. Bob is not red. Dave is big. Dave is kind. Dave is smart. Dave is not white. Gary is big. Gary is cold. Gary is kind. Gary is white. Cold, white people are not smart. If someone is big and not smart then they are round.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not red.
("Bob" "is" "red" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Cold, white people are not smart.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If someone is big and not smart then they are round.
((("someone" "is" "big" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "round" "+"))
Bob is not red.
True
1
proof
[(triple8)]
("Bob" "is" "red" "-")
triple8
Dave is not big.
False
1
inv-proof
[(triple9)]
("Dave" "is" "big" "-")
triple9
Gary is not smart.
True
3
proof
[(((triple14 triple16) -> rule1))]
("Gary" "is" "smart" "-")
((triple14 triple16) -> (rule1 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is smart.
False
3
inv-proof
[(((triple14 triple16) -> rule1))]
("Gary" "is" "smart" "+")
((triple14 triple16) -> (rule1 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is round.
True
5
proof
[(((triple13 ((triple14 triple16) -> rule1)) -> rule2))]
("Gary" "is" "round" "+")
((triple13 ((triple14 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
int2
Gary is not round.
False
5
inv-proof
[(((triple13 ((triple14 triple16) -> rule1)) -> rule2))]
("Gary" "is" "round" "-")
((triple13 ((triple14 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
int2
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is not big.[(triple1)] Anne is not kind.[(triple2)] Anne is not smart.[(triple5)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple6)] Bob is cold.[(triple7)] Bob is not red.[(triple8)] Dave is big.[(triple9)] Dave is kind.[(triple10)] Dave is not white.[(triple12)] Dave is smart.[(triple11)] Gary is big.[(triple13)] Gary is cold.[(triple14)] Gary is kind.[(triple15)] Gary is white.[(triple16)] @1: Gary is not smart.[(((triple14 triple16) -> rule1))] @2: Gary is round.[(((triple13 ((triple14 triple16) -> rule1)) -> rule2))]
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is not red.
("Bob" "is" "red" "-")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is not white.
("Dave" "is" "white" "-")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Gary is not smart.
("Gary" "is" "smart" "-")
((triple14 triple16) -> (rule1 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple13 ((triple14 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
int2