Bob is quiet. Harry is young. Blue, quiet people are not kind. Furry people are big. All quiet, blue people are not young. All blue people are young. Big, kind people are blue. All quiet, furry people are not blue. Young people are round. All round, young people are furry.
Bob is quiet.
("Bob" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue, quiet people are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All quiet, blue people are not young.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "-"))
All blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Big, kind people are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All quiet, furry people are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "-"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All round, young people are furry.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple2)]
("Harry" "is" "young" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple2)]
("Harry" "is" "young" "-")
triple2
Harry is round.
True
2
proof
[(((triple2) -> rule7))]
("Harry" "is" "round" "+")
((triple2) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple2) -> rule7))]
("Harry" "is" "round" "-")
((triple2) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
True
4
proof
[(((((triple2) -> rule7) triple2) -> rule8))]
("Harry" "is" "furry" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((((triple2) -> rule7) triple2) -> rule8))]
("Harry" "is" "furry" "-")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
True
5
proof
[(((((((triple2) -> rule7) triple2) -> rule8)) -> rule2))]
("Harry" "is" "big" "+")
((((((triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
5
inv-proof
[(((((((triple2) -> rule7) triple2) -> rule8)) -> rule2))]
("Harry" "is" "big" "-")
((((((triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@4: Bob is big.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not furry.
Unknown
inv-rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is quiet.[(triple1)] Harry is young.[(triple2)] @1: Harry is round.[(((triple2) -> rule7))] @2: Harry is furry.[(((((triple2) -> rule7) triple2) -> rule8))] @3: Harry is big.[(((((((triple2) -> rule7) triple2) -> rule8)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Harry is young.
("Harry" "is" "young" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
((triple2) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple2) -> (rule7 % int3)) triple2) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3