Anne is rough. Anne is round. Anne is not young. Fiona is not green. Fiona is round. Fiona is young. Gary is not big. Gary is blue. Gary is red. Gary is rough. Gary is round. Gary is not young. If someone is round and not young then they are red. If someone is red and not young then they are green.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is not young.
("Gary" "is" "young" "-")
If someone is round and not young then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "+"))
If someone is red and not young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "green" "+"))
Gary is not big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Gary is green.
True
3
proof
[(((triple9 triple12) -> rule2) OR ((((triple11 triple12) -> rule1) triple12) -> rule2))]
("Gary" "is" "green" "+")
((triple9 triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple11 triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is not red.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Anne" "is" "red" "-")
((triple2 triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
True
5
proof
[(((((triple2 triple3) -> rule1) triple3) -> rule2))]
("Anne" "is" "green" "+")
((((triple2 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not green.
False
5
inv-proof
[(((((triple2 triple3) -> rule1) triple3) -> rule2))]
("Anne" "is" "green" "-")
((((triple2 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is not young.[(triple3)] Anne is rough.[(triple1)] Anne is round.[(triple2)] Fiona is not green.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is blue.[(triple8)] Gary is not big.[(triple7)] Gary is not young.[(triple12)] Gary is red.[(triple9 OR ((triple11 triple12) -> rule1))] Gary is rough.[(triple10)] Gary is round.[(triple11)] @1: Anne is red.[(((triple2 triple3) -> rule1))] Gary is green.[(((triple9 triple12) -> rule2) OR ((((triple11 triple12) -> rule1) triple12) -> rule2))] @2: Anne is green.[(((((triple2 triple3) -> rule1) triple3) -> rule2))]
Anne is not young.
("Anne" "is" "young" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is not big.
("Gary" "is" "big" "-")
triple7
Gary is not young.
("Gary" "is" "young" "-")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple11 triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Anne is red.
("Anne" "is" "red" "+")
((triple2 triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple11 triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((triple2 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2