Anne is cold. Bob is rough. Fiona is red. Kind, white things are young. If something is white and rough then it is young. All red things are kind. If something is cold and rough then it is red. Rough things are white. Red things are young. Blue, young things are kind. If something is red and rough then it is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Kind, white things are young.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is white and rough then it is young.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is cold and rough then it is red.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Blue, young things are kind.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is red and rough then it is kind.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Anne" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Bob is rough.[(triple2)] Fiona is red.[(triple3)] @1: Bob is white.[(((triple2) -> rule5))] Fiona is kind.[(((triple3) -> rule3))] Fiona is young.[(((triple3) -> rule6))] @2: Bob is young.[(((((triple2) -> rule5) triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2