Bob is blue. Bob is nice. Bob is quiet. Bob is round. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is white. Harry is blue. Harry is green. Harry is nice. All round, white people are cold. Blue people are round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All round, white people are cold.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Harry is not nice.
False
1
inv-proof
[(triple12)]
("Harry" "is" "nice" "-")
triple12
Harry is round.
True
2
proof
[(((triple10) -> rule2))]
("Harry" "is" "round" "+")
((triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple5) -> rule2))]
("Gary" "is" "round" "-")
((triple5) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule2))] Gary is blue.[(triple5)] Gary is cold.[(triple6 OR ((((triple5) -> rule2) triple9) -> rule1))] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is white.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12)] @1: Gary is round.[(((triple5) -> rule2))] Harry is round.[(((triple10) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((((triple5) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1