Charlie is big. Charlie is rough. Charlie is white. Dave is blue. Gary is blue. Gary is cold. Gary is quiet. Harry is blue. Harry is cold. Harry is nice. White things are cold. If something is nice and big then it is blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is nice and big then it is blue.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple9)]
("Harry" "is" "cold" "-")
triple9
Charlie is cold.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Dave is blue.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1