Bob is blue. Bob is green. Bob is not kind. Bob is quiet. Bob is rough. Bob is young. Charlie is blue. Charlie is green. Charlie is young. Fiona is kind. Fiona is young. Gary is not green. Gary is kind. Gary is not rough. Gary is smart. If someone is rough and not young then they are not quiet. If Fiona is kind and Fiona is rough then Fiona is quiet. If someone is quiet then they are smart. If Fiona is blue and Fiona is young then Fiona is kind. If someone is young then they are rough. Young, rough people are blue. All blue people are green. If Gary is not smart then Gary is blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is rough and not young then they are not quiet.
((("someone" "is" "rough" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "quiet" "-"))
If Fiona is kind and Fiona is rough then Fiona is quiet.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "quiet" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is blue and Fiona is young then Fiona is kind.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Young, rough people are blue.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If Gary is not smart then Gary is blue.
((("Gary" "is" "smart" "~")) -> ("Gary" "is" "blue" "+"))
Bob is blue.
True
1
proof
[(triple1 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple6) -> rule5)) -> rule6))]
("Bob" "is" "blue" "+")
triple1
((triple6 triple5) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple6 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is rough.
False
1
inv-proof
[(triple14)]
("Gary" "is" "rough" "+")
triple14
Bob is smart.
True
2
proof
[(((triple4) -> rule3))]
("Bob" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple11) -> rule5))]
("Fiona" "is" "rough" "-")
((triple11) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
True
4
proof
[(((triple11 ((triple11) -> rule5)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((triple10 ((triple11) -> rule5)) -> rule2) OR ((((((triple11 ((triple11) -> rule5)) -> rule6) triple11) -> rule4) ((triple11) -> rule5)) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple10 ((triple11) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11 ((triple11) -> (rule5 % int4))) -> (rule6 % int3)) triple11) -> (rule4 % int2)) ((triple11) -> (rule5 % int4))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "smart" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is blue.[(triple1 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple6) -> rule5)) -> rule6))] Bob is green.[(triple2 OR ((triple1) -> rule7) OR ((((triple6 triple5) -> rule6)) -> rule7) OR ((((triple6 ((triple6) -> rule5)) -> rule6)) -> rule7))] Bob is not kind.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple6) -> rule5))] Bob is young.[(triple6)] Charlie is blue.[(triple7 OR ((triple9 ((triple9) -> rule5)) -> rule6))] Charlie is green.[(triple8 OR ((triple7) -> rule7) OR ((((triple9 ((triple9) -> rule5)) -> rule6)) -> rule7))] Charlie is young.[(triple9)] Fiona is kind.[(triple10 OR ((((triple11 ((triple11) -> rule5)) -> rule6) triple11) -> rule4))] Fiona is young.[(triple11)] Gary is kind.[(triple13)] Gary is not green.[(triple12)] Gary is not rough.[(triple14)] Gary is smart.[(triple15)] @1: Bob is smart.[(((triple4) -> rule3))] Charlie is rough.[(((triple9) -> rule5))] Fiona is rough.[(((triple11) -> rule5))] @2: Fiona is blue.[(((triple11 ((triple11) -> rule5)) -> rule6))] Fiona is quiet.[(((triple10 ((triple11) -> rule5)) -> rule2) OR ((((((triple11 ((triple11) -> rule5)) -> rule6) triple11) -> rule4) ((triple11) -> rule5)) -> rule2))] @3: Fiona is green.[(((((triple11 ((triple11) -> rule5)) -> rule6)) -> rule7))] Fiona is smart.[(((((triple10 ((triple11) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple11 ((triple11) -> rule5)) -> rule6) triple11) -> rule4) ((triple11) -> rule5)) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple6 triple5) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple6 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple6 ((triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple6) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
((triple9 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple7) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple12
Gary is not rough.
("Gary" "is" "rough" "-")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11 ((triple11) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 ((triple11) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple11 ((triple11) -> (rule5 % int4))) -> (rule6 % int3)) triple11) -> (rule4 % int2)) ((triple11) -> (rule5 % int4))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple11 ((triple11) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple10 ((triple11) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((((triple11 ((triple11) -> (rule5 % int5))) -> (rule6 % int4)) triple11) -> (rule4 % int3)) ((triple11) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5