Anne is white. Anne is young. Bob is young. Fiona is not cold. Fiona is not smart. Gary is not quiet. Gary is white. Quiet, green people are white. If someone is green and not quiet then they are cold. If someone is young then they are green. Quiet, cold people are green. All white people are young. All blue people are young. All cold people are blue. All blue people are not smart.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is white.
("Gary" "is" "white" "+")
Quiet, green people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is green and not quiet then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "cold" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Quiet, cold people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All blue people are not smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "-"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Gary is young.
True
2
proof
[(((triple7) -> rule5))]
("Gary" "is" "young" "+")
((triple7) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple7) -> rule5))]
("Gary" "is" "young" "-")
((triple7) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
True
3
proof
[(((((triple7) -> rule5)) -> rule3))]
("Gary" "is" "green" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not green.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule3))]
("Gary" "is" "green" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
True
5
proof
[(((((((triple7) -> rule5)) -> rule3) triple6) -> rule2))]
("Gary" "is" "cold" "+")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not cold.
False
5
inv-proof
[(((((((triple7) -> rule5)) -> rule3) triple6) -> rule2))]
("Gary" "is" "cold" "-")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
True
6
proof
[(((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7))]
("Gary" "is" "blue" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not blue.
False
6
inv-proof
[(((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7))]
("Gary" "is" "blue" "-")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not smart.
True
7
proof
[(((((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7)) -> rule8))]
("Gary" "is" "smart" "-")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is smart.
False
7
inv-proof
[(((((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7)) -> rule8))]
("Gary" "is" "smart" "+")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "+")
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Anne is blue.
Unknown
rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not green.
Unknown
inv-rconc
[@3: Fiona is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is white.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule5))] Bob is young.[(triple3)] Fiona is not cold.[(triple4)] Fiona is not smart.[(triple5)] Gary is not quiet.[(triple6)] Gary is white.[(triple7)] @1: Anne is green.[(((triple2) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Bob is green.[(((triple3) -> rule3))] Gary is young.[(((triple7) -> rule5))] @2: Gary is green.[(((((triple7) -> rule5)) -> rule3))] @3: Gary is cold.[(((((((triple7) -> rule5)) -> rule3) triple6) -> rule2))] @4: Gary is blue.[(((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7))] @5: Gary is not smart.[(((((((((((triple7) -> rule5)) -> rule3) triple6) -> rule2)) -> rule7)) -> rule8))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple5
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not smart.
("Gary" "is" "smart" "-")
((((((((((triple7) -> (rule5 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5