Dave is big. Dave is furry. Dave is nice. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is young. Fiona is cold. Fiona is furry. Fiona is young. Gary is cold. Gary is kind. Gary is young. Furry people are kind. If someone is big then they are young.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Gary is young.
True
1
proof
[(triple15)]
("Gary" "is" "young" "+")
triple15
Dave is not furry.
False
1
inv-proof
[(triple2)]
("Dave" "is" "furry" "-")
triple2
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9 OR ((triple4) -> rule2))] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is young.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is young.[(triple15)] @1: Dave is kind.[(((triple2) -> rule1))] Dave is young.[(((triple1) -> rule2))] Erin is kind.[(((triple6) -> rule1))] Fiona is kind.[(((triple11) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Dave is kind.
("Dave" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple1) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1