Dave is not big. Dave is green. Dave is red. Dave is not smart. Dave is white. Dave is not young. Fiona is big. Fiona is not green. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is smart. Gary is white. Gary is young. If something is white and young then it is green. If Dave is big and Dave is not smart then Dave is red. Smart, big things are young.
Dave is not big.
("Dave" "is" "big" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is white and young then it is green.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Dave is big and Dave is not smart then Dave is red.
((("Dave" "is" "big" "+") ("Dave" "is" "smart" "~")) -> ("Dave" "is" "red" "+"))
Smart, big things are young.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Dave is green.
True
1
proof
[(triple2)]
("Dave" "is" "green" "+")
triple2
Dave is young.
False
1
inv-proof
[(triple6)]
("Dave" "is" "young" "+")
triple6
Gary is green.
True
3
proof
[(((triple14 triple15) -> rule1))]
("Gary" "is" "green" "+")
((triple14 triple15) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple14 triple15) -> rule1))]
("Gary" "is" "green" "-")
((triple14 triple15) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is green.[(triple2)] Dave is not big.[(triple1)] Dave is not smart.[(triple4)] Dave is not young.[(triple6)] Dave is red.[(triple3)] Dave is white.[(triple5)] Fiona is big.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple11 triple7) -> rule3))] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Gary is green.[(((triple14 triple15) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is not smart.
("Dave" "is" "smart" "-")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple11 triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
((triple14 triple15) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1