Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Gary is green. Gary is nice. Gary is red. Gary is round. All nice, red people are young. All kind people are round.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
All nice, red people are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Fiona is young.
True
1
proof
[(triple11)]
("Fiona" "is" "young" "+")
triple11
Gary is not round.
False
1
inv-proof
[(triple15)]
("Gary" "is" "round" "-")
triple15
Anne is young.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Anne" "is" "young" "+")
((triple3 triple4) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "-")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple7) -> rule2))] Fiona is young.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Anne is round.[(((triple2) -> rule2))] Anne is young.[(((triple3 triple4) -> rule1))] Gary is young.[(((triple13 triple14) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple7) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple3 triple4) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple13 triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1