Anne is blue. Anne is quiet. Anne is young. Erin is rough. Fiona is cold. Fiona is nice. Fiona is quiet. Gary is cold. Gary is nice. Gary is rough. If someone is cold and quiet then they are rough. All big, young people are rough. If someone is blue then they are big. If Fiona is quiet then Fiona is blue. All quiet, big people are nice. All young people are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is cold and quiet then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All big, young people are rough.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If Fiona is quiet then Fiona is blue.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "blue" "+"))
All quiet, big people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Anne is rough.
True
2
proof
[(((triple3) -> rule6) OR ((((triple1) -> rule3) triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("Fiona" "is" "rough" "-")
((triple5 triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Erin is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6 OR ((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule5))] Fiona is quiet.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] @1: Anne is big.[(((triple1) -> rule3))] Anne is rough.[(((triple3) -> rule6) OR ((((triple1) -> rule3) triple3) -> rule2))] Fiona is blue.[(((triple7) -> rule4))] Fiona is rough.[(((triple5 triple7) -> rule1))] @2: Anne is nice.[(((triple2 ((triple1) -> rule3)) -> rule5))] Fiona is big.[(((((triple7) -> rule4)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple7 ((((triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5 triple7) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2