Charlie is big. Charlie is cold. Charlie is furry. Charlie is nice. Dave is big. Dave is cold. Dave is not green. Dave is kind. Dave is white. Gary is not cold. Gary is furry. Gary is kind. If something is cold then it is white. If something is white then it is not green.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is white then it is not green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "-"))
Dave is big.
True
1
proof
[(triple5)]
("Dave" "is" "big" "+")
triple5
Dave is not kind.
False
1
inv-proof
[(triple8)]
("Dave" "is" "kind" "-")
triple8
Charlie is white.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "white" "+")
((triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "white" "-")
((triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not green.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Charlie" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Charlie" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple8)] Dave is not green.[(triple7 OR ((triple9) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Dave is white.[(triple9 OR ((triple6) -> rule1))] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is not cold.[(triple10)] @1: Charlie is white.[(((triple2) -> rule1))] @2: Charlie is not green.[(((((triple2) -> rule1)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple7
((triple9) -> (rule2 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple9
((triple6) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is not cold.
("Gary" "is" "cold" "-")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2