Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Gary is cold. Gary is kind. Gary is nice. Harry is blue. Harry is cold. Harry is nice. Harry is white. Harry is young. Kind, blue people are white.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Kind, blue people are white.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Harry is cold.
True
1
proof
[(triple13)]
("Harry" "is" "cold" "+")
triple13
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Erin is white.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Erin" "is" "white" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Erin" "is" "white" "-")
((triple7 triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Erin is white.[(((triple7 triple5) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is white.
("Erin" "is" "white" "+")
((triple7 triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1