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