Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is young. Gary is big. Gary is red. Gary is young. Harry is cold. Harry is not red. Young things are blue.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not red.
("Harry" "is" "red" "-")
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple2 OR ((triple7) -> rule1))]
("Dave" "is" "blue" "+")
triple2
((triple7) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Gary is blue.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "blue" "-")
((triple10) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple7) -> rule1))] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple11)] Harry is not red.[(triple12)] @1: Gary is blue.[(((triple10) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple7) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is not red.
("Harry" "is" "red" "-")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1