Bob is big. Bob is furry. Bob is nice. Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Gary is cold. Gary is young. Harry is blue. Harry is kind. Harry is young. All young, blue people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
All young, blue people are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Charlie is not cold.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "cold" "-")
triple5
Harry is big.
True
3
proof
[(((triple12 triple10) -> rule1))]
("Harry" "is" "big" "+")
((triple12 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple12 triple10) -> rule1))]
("Harry" "is" "big" "-")
((triple12 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Gary is cold.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Harry is big.[(((triple12 triple10) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
((triple12 triple10) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1