Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is rough. Anne is smart. Anne is not young. Dave is big. Dave is rough. Dave is young. Fiona is green. Gary is not young. If Gary is smart then Gary is big. If Fiona is green then Fiona is smart. If Dave is young and Dave is cold then Dave is green. Green things are nice. All young things are big. If something is green and not young then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Gary is smart then Gary is big.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "big" "+"))
If Fiona is green then Fiona is smart.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "+"))
If Dave is young and Dave is cold then Dave is green.
((("Dave" "is" "young" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "green" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is green and not young then it is big.
((("something" "is" "green" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "+"))
Fiona is green.
True
1
proof
[(triple11)]
("Fiona" "is" "green" "+")
triple11
Anne is not green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
Fiona is smart.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "smart" "-")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is big.[(triple1 OR ((triple3 triple7) -> rule6))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple3) -> rule4))] Anne is not young.[(triple7)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Dave is big.[(triple8 OR ((triple10) -> rule5))] Dave is rough.[(triple9)] Dave is young.[(triple10)] Fiona is green.[(triple11)] Gary is not young.[(triple12)] @1: Fiona is nice.[(((triple11) -> rule4))] Fiona is smart.[(((triple11) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3 triple7) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple3) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple8
((triple10) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Gary is not young.
("Gary" "is" "young" "-")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple11) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1