Anne is green. Bob is kind. Bob is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Gary is blue. Gary is kind. Gary is rough. Nice, rough things are kind. Rough, blue things are young. Kind, green things are young.
Anne is green.
("Anne" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Nice, rough things are kind.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Rough, blue things are young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Kind, green things are young.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Fiona is nice.
True
1
proof
[(triple7)]
("Fiona" "is" "nice" "+")
triple7
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Fiona is young.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple10 triple8) -> rule2))]
("Gary" "is" "young" "-")
((triple10 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is young.
Unknown
rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Anne" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] @1: Fiona is young.[(((triple6 triple5) -> rule3))] Gary is young.[(((triple10 triple8) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
((triple6 triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1