Anne is cold. Anne is furry. Anne is white. Anne is young. Dave is round. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Gary is furry. Gary is nice. If something is nice and cold then it is white. All young things are nice. If something is white and cold then it is rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is nice and cold then it is white.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is white and cold then it is rough.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Dave is round.
True
1
proof
[(triple5)]
("Dave" "is" "round" "+")
triple5
Anne is not young.
False
1
inv-proof
[(triple4)]
("Anne" "is" "young" "-")
triple4
Anne is nice.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "nice" "-")
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3 OR ((((triple4) -> rule2) triple1) -> rule1))] Anne is young.[(triple4)] Dave is round.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8 OR ((triple10 triple6) -> rule3) OR ((((triple7 triple6) -> rule1) triple6) -> rule3))] Fiona is round.[(triple9)] Fiona is white.[(triple10 OR ((triple7 triple6) -> rule1))] Gary is furry.[(triple11)] Gary is nice.[(triple12)] @1: Anne is nice.[(((triple4) -> rule2))] Anne is rough.[(((triple3 triple1) -> rule3) OR ((((((triple4) -> rule2) triple1) -> rule1) triple1) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
((((triple4) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple10 triple6) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7 triple6) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple7 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((((triple4) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3