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