Bob is cold. Bob is nice. Bob is rough. Bob is white. Bob is not young. Gary is nice. Gary is red. Gary is rough. Gary is white. Gary is young. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is young. If Bob is rough and Bob is nice then Bob is cold. All young people are green. If someone is green then they are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If Bob is rough and Bob is nice then Bob is cold.
((("Bob" "is" "rough" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "cold" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple12)]
("Harry" "is" "nice" "+")
triple12
Harry is not green.
False
1
inv-proof
[(triple11 OR ((triple15) -> rule2))]
("Harry" "is" "green" "-")
triple11
((triple15) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Gary is green.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "green" "+")
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "green" "-")
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
True
3
proof
[(((((triple10) -> rule2)) -> rule3))]
("Gary" "is" "cold" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("Gary" "is" "cold" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is cold.[(triple1 OR ((triple3 triple2) -> rule1))] Bob is nice.[(triple2)] Bob is not young.[(triple5)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Gary is nice.[(triple6)] Gary is red.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is green.[(triple11 OR ((triple15) -> rule2))] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Gary is green.[(((triple10) -> rule2))] Harry is cold.[(((triple11) -> rule3) OR ((((triple15) -> rule2)) -> rule3))] @2: Gary is cold.[(((((triple10) -> rule2)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple15) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple11) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2