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