Anne is furry. Anne is nice. Anne is quiet. Anne is white. Fiona is furry. Fiona is green. Gary is cold. Gary is green. Gary is quiet. Gary is young. Harry is cold. Harry is quiet. All young, quiet people are cold. All furry people are cold. Cold, nice people are white. Nice, quiet people are white. All white, cold people are quiet. If Harry is cold and Harry is not green then Harry is furry. If someone is green and furry then they are young. If Fiona is young and Fiona is furry then Fiona is white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All young, quiet people are cold.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Cold, nice people are white.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Nice, quiet people are white.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All white, cold people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is cold and Harry is not green then Harry is furry.
((("Harry" "is" "cold" "+") ("Harry" "is" "green" "~")) -> ("Harry" "is" "furry" "+"))
If someone is green and furry then they are young.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If Fiona is young and Fiona is furry then Fiona is white.
((("Fiona" "is" "young" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple5)]
("Fiona" "is" "furry" "+")
triple5
Anne is not white.
False
1
inv-proof
[(triple4 OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule2) triple2) -> rule3))]
("Anne" "is" "white" "-")
triple4
((triple2 triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Fiona is young.
True
3
proof
[(((triple6 triple5) -> rule7))]
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule7))]
("Fiona" "is" "young" "-")
((triple6 triple5) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
True
5
proof
[(((((triple6 triple5) -> rule7) triple5) -> rule8))]
("Fiona" "is" "white" "+")
((((triple6 triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not white.
False
5
inv-proof
[(((((triple6 triple5) -> rule7) triple5) -> rule8))]
("Fiona" "is" "white" "-")
((((triple6 triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
True
8
proof
[(((((((triple6 triple5) -> rule7) triple5) -> rule8) ((triple5) -> rule2)) -> rule5))]
("Fiona" "is" "quiet" "+")
((((((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not quiet.
False
8
inv-proof
[(((((((triple6 triple5) -> rule7) triple5) -> rule8) ((triple5) -> rule2)) -> rule5))]
("Fiona" "is" "quiet" "-")
((((((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "young" "+")
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Harry is white.
Unknown
rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "white" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple4 ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2) triple2) -> rule3) ((triple1) -> rule2)) -> rule5))] Anne is white.[(triple4 OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule2) triple2) -> rule3))] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple9) -> rule1))] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is cold.[(((triple1) -> rule2))] Fiona is cold.[(((triple5) -> rule2))] Fiona is young.[(((triple6 triple5) -> rule7))] @2: Fiona is white.[(((((triple6 triple5) -> rule7) triple5) -> rule8))] @3: Fiona is quiet.[(((((((triple6 triple5) -> rule7) triple5) -> rule8) ((triple5) -> rule2)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple1) -> (rule2 % int3)) triple2) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2 triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6 triple5) -> (rule7 % int2)) triple5) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple6 triple5) -> (rule7 % int4)) triple5) -> (rule8 % int3)) ((triple5) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4