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