Anne is cold. Anne is green. Anne is white. Bob is round. Dave is blue. Dave is green. Dave is white. Fiona is blue. Fiona is nice. Fiona is round. White people are big. If someone is big and white then they are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is big and white then they are round.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is big.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "big" "-")
((triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
True
4
proof
[(((((triple7) -> rule1) triple7) -> rule2))]
("Dave" "is" "round" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Anne" "is" "round" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Bob is round.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple6)] Dave is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] @1: Anne is big.[(((triple3) -> rule1))] Dave is big.[(((triple7) -> rule1))] @2: Anne is round.[(((((triple3) -> rule1) triple3) -> rule2))] Dave is round.[(((((triple7) -> rule1) triple7) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple7) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple7) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2