Anne is not big. Anne is cold. Anne is green. Anne is not kind. Anne is round. Anne is young. Erin is green. Erin is young. Fiona is big. Fiona is blue. Fiona is kind. Gary is big. Gary is blue. Gary is cold. Gary is kind. If someone is blue then they are green. Young people are cold. All green, kind people are young. If someone is cold and not green then they are young. Cold, blue people are big. If someone is kind and not cold then they are not big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All green, kind people are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and not green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "young" "+"))
Cold, blue people are big.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and not cold then they are not big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "big" "-"))
Anne is round.
True
1
proof
[(triple5)]
("Anne" "is" "round" "+")
triple5
Anne is not green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
Erin is cold.
True
2
proof
[(((triple8) -> rule2))]
("Erin" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "green" "-")
((triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
True
4
proof
[(((((triple10) -> rule1) triple11) -> rule3))]
("Fiona" "is" "young" "+")
((((triple10) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is not young.
False
4
inv-proof
[(((((triple13) -> rule1) triple15) -> rule3))]
("Gary" "is" "young" "-")
((((triple13) -> (rule1 % int2)) triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Fiona is cold.
True
5
proof
[(((((((triple10) -> rule1) triple11) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "+")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not cold.
False
5
inv-proof
[(((((((triple10) -> rule1) triple11) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "-")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is cold.[(triple2 OR ((triple6) -> rule2))] Anne is green.[(triple3)] Anne is not big.[(triple1)] Anne is not kind.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Erin is green.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9 OR ((((((((triple10) -> rule1) triple11) -> rule3)) -> rule2) triple10) -> rule5))] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Gary is big.[(triple12 OR ((triple14 triple13) -> rule5) OR ((((((((triple13) -> rule1) triple15) -> rule3)) -> rule2) triple13) -> rule5))] Gary is blue.[(triple13)] Gary is cold.[(triple14 OR ((((((triple13) -> rule1) triple15) -> rule3)) -> rule2))] Gary is kind.[(triple15)] @1: Erin is cold.[(((triple8) -> rule2))] Fiona is green.[(((triple10) -> rule1))] Gary is green.[(((triple13) -> rule1))] @2: Fiona is young.[(((((triple10) -> rule1) triple11) -> rule3))] Gary is young.[(((((triple13) -> rule1) triple15) -> rule3))] @3: Fiona is cold.[(((((((triple10) -> rule1) triple11) -> rule3)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple6) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((((((((triple10) -> (rule1 % int4)) triple11) -> (rule3 % int3))) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
((triple14 triple13) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((((((triple13) -> (rule1 % int4)) triple15) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
((((((triple13) -> (rule1 % int3)) triple15) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
triple15
Erin is cold.
("Erin" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple13) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple10) -> (rule1 % int2)) triple11) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple13) -> (rule1 % int2)) triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3