Bob is cold. Bob is green. Bob is smart. Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Harry is big. Harry is green. Harry is smart. If Harry is rough then Harry is kind. Green people are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is rough then Harry is kind.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "kind" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple10)]
("Harry" "is" "big" "+")
triple10
Bob is not cold.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("Bob" "is" "cold" "-")
triple1
((triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is cold.
True
2
proof
[(((triple11) -> rule2))]
("Harry" "is" "cold" "+")
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple11) -> rule2))]
("Harry" "is" "cold" "-")
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2))] Bob is green.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule2))] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is smart.[(triple12)] @1: Harry is cold.[(((triple11) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple6) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1