Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. All nice, red things are quiet.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All nice, red things are quiet.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Fiona is quiet.
True
1
proof
[(triple3 OR ((triple2 triple4) -> rule1))]
("Fiona" "is" "quiet" "+")
triple3
((triple2 triple4) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is not red.
False
1
inv-proof
[(triple11)]
("Gary" "is" "red" "-")
triple11
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is cold.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3 OR ((triple2 triple4) -> rule1))] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10 OR ((triple9 triple11) -> rule1))] Gary is red.[(triple11)] Gary is rough.[(triple12)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
((triple2 triple4) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple9 triple11) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12