Bob is not big. Bob is green. Bob is not red. Bob is rough. Bob is smart. Fiona is big. Fiona is red. Gary is big. Gary is rough. Gary is smart. If Fiona is red then Fiona is young. If Fiona is not big then Fiona is red. If Bob is furry and Bob is smart then Bob is young. If someone is furry and rough then they are young. If someone is big and green then they are furry. All big, red people are furry. If someone is furry then they are green. If someone is green then they are rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Fiona is red then Fiona is young.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "young" "+"))
If Fiona is not big then Fiona is red.
((("Fiona" "is" "big" "~")) -> ("Fiona" "is" "red" "+"))
If Bob is furry and Bob is smart then Bob is young.
((("Bob" "is" "furry" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "young" "+"))
If someone is furry and rough then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All big, red people are furry.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Bob is smart.
True
1
proof
[(triple5)]
("Bob" "is" "smart" "+")
triple5
Fiona is not big.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Fiona is furry.
True
3
proof
[(((triple6 triple7) -> rule6))]
("Fiona" "is" "furry" "+")
((triple6 triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple6 triple7) -> rule6))]
("Fiona" "is" "furry" "-")
((triple6 triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
True
4
proof
[(((((triple6 triple7) -> rule6)) -> rule7))]
("Fiona" "is" "green" "+")
((((triple6 triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple6 triple7) -> rule6)) -> rule7))]
("Fiona" "is" "green" "-")
((((triple6 triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
True
5
proof
[(((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8))]
("Fiona" "is" "rough" "+")
((((((triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not rough.
False
5
inv-proof
[(((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8))]
("Fiona" "is" "rough" "-")
((((((triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is furry.
Unknown
rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule6 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not young.
Unknown
inv-rconc
[@4: Gary is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule7 <- rule6 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "furry" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is green.[(triple2)] Bob is not big.[(triple1)] Bob is not red.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule8))] Bob is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is red.[(triple7)] Gary is big.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is furry.[(((triple6 triple7) -> rule6))] Fiona is young.[(((triple7) -> rule1) OR ((((triple6 triple7) -> rule6) ((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8)) -> rule4))] @2: Fiona is green.[(((((triple6 triple7) -> rule6)) -> rule7))] @3: Fiona is rough.[(((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple2) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6 triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6 triple7) -> (rule6 % int4)) ((((((triple6 triple7) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6 triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple6 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3