Anne is big. Anne is kind. Anne is young. Fiona is blue. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is big. Harry is blue. Harry is young. If something is round then it is red.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple14)]
("Harry" "is" "big" "+")
triple14
Gary is not young.
False
1
inv-proof
[(triple13)]
("Gary" "is" "young" "-")
triple13
Fiona is red.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "red" "+")
((triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "red" "-")
((triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((triple12) -> rule1))] Gary is round.[(triple12)] Gary is young.[(triple13)] Harry is big.[(triple14)] Harry is blue.[(triple15)] Harry is young.[(triple16)] @1: Fiona is red.[(((triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple13
Harry is big.
("Harry" "is" "big" "+")
triple14
Harry is blue.
("Harry" "is" "blue" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
((triple5) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1