Anne is smart. Charlie is smart. Fiona is nice. Gary is smart. All rough people are green. All nice people are round. Blue people are rough. All round people are blue. Green, blue people are white. If Gary is green then Gary is blue. Blue people are green. All green, rough people are round.
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Green, blue people are white.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Gary is green then Gary is blue.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "blue" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All green, rough people are round.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Charlie is not smart.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "smart" "-")
triple2
Fiona is round.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "round" "-")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("Fiona" "is" "blue" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("Fiona" "is" "blue" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
True
4
proof
[(((((((triple3) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1))]
("Fiona" "is" "green" "+")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not green.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1))]
("Fiona" "is" "green" "-")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Gary is green.
Unknown
rconc
[@6: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule6 <- rule7 <- rule4 <- rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not white.
Unknown
inv-rconc
[@6: Gary is white.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule8 <- rule3 <- rule6 <- rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Anne is green.
Unknown
rconc
[@4: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule4 <- rule2 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is smart.[(triple1)] Charlie is smart.[(triple2)] Fiona is nice.[(triple3)] Gary is smart.[(triple4)] @1: Fiona is round.[(((triple3) -> rule2))] @2: Fiona is blue.[(((((triple3) -> rule2)) -> rule4))] @3: Fiona is green.[(((((((triple3) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1))] Fiona is rough.[(((((((triple3) -> rule2)) -> rule4)) -> rule3))] @4: Fiona is white.[(((((((((triple3) -> rule2)) -> rule4)) -> rule7) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1) ((((triple3) -> rule2)) -> rule4)) -> rule5))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5