Anne is cold. Anne is nice. Anne is white. Fiona is nice. Fiona is red. Harry is red. Harry is rough. All rough, kind things are cold. All cold, red things are rough. If something is red then it is kind. If something is cold and red then it is nice. If Harry is white then Harry is smart. If Fiona is smart and Fiona is kind then Fiona is red. All smart, red things are rough. If Fiona is kind and Fiona is rough then Fiona is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All rough, kind things are cold.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All cold, red things are rough.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is cold and red then it is nice.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Harry is white then Harry is smart.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "smart" "+"))
If Fiona is smart and Fiona is kind then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "red" "+"))
All smart, red things are rough.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Fiona is kind and Fiona is rough then Fiona is nice.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple7)]
("Harry" "is" "rough" "-")
triple7
Harry is kind.
True
2
proof
[(((triple6) -> rule3))]
("Harry" "is" "kind" "+")
((triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple6) -> rule3))]
("Harry" "is" "kind" "-")
((triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "smart" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "kind" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Fiona is kind.[(((triple5) -> rule3))] Harry is kind.[(((triple6) -> rule3))] @2: Harry is cold.[(((triple7 ((triple6) -> rule3)) -> rule1))] @3: Harry is nice.[(((((triple7 ((triple6) -> rule3)) -> rule1) triple6) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7 ((triple6) -> (rule3 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3