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