Dave is cold. Dave is white. Fiona is cold. Fiona is nice. Gary is nice. Gary is quiet. Gary is rough. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is white. If Dave is cold then Dave is nice.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If Dave is cold then Dave is nice.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "nice" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Harry is not white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "-")
triple12
Dave is nice.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is cold.[(triple1)] Dave is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Dave is nice.[(((triple1) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1