Charlie is big. Charlie is cold. Charlie is green. Charlie is round. Gary is blue. Gary is green. Gary is nice. Gary is round. Gary is young. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is young. Nice people are big. All green, blue people are nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All green, blue people are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Gary is big.
True
2
proof
[(((triple7) -> rule1) OR ((((triple6 triple5) -> rule2)) -> rule1))]
("Gary" "is" "big" "+")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not big.
False
2
inv-proof
[(((triple7) -> rule1) OR ((((triple6 triple5) -> rule2)) -> rule1))]
("Gary" "is" "big" "-")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
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 cold.[(triple2)] Charlie is green.[(triple3)] Charlie is round.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7 OR ((triple6 triple5) -> rule2))] Gary is round.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10 OR ((triple14) -> rule1) OR ((((triple13 triple11) -> rule2)) -> rule1))] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14 OR ((triple13 triple11) -> rule2))] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Gary is big.[(((triple7) -> rule1) OR ((((triple6 triple5) -> rule2)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
((triple6 triple5) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple14) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple13 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple13 triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2