Fiona is blue. Fiona is white. Harry is big. Harry is kind. Harry is quiet. Harry is round. Harry is white. If Harry is smart and Harry is not big then Harry is kind. Big people are smart. All kind people are smart. All round people are smart. If someone is smart then they are white. All smart, big people are white. White people are round. If someone is round and not quiet then they are blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is smart and Harry is not big then Harry is kind.
((("Harry" "is" "smart" "+") ("Harry" "is" "big" "~")) -> ("Harry" "is" "kind" "+"))
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All smart, big people are white.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not quiet then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "+")
triple4
Harry is not white.
False
1
inv-proof
[(triple7 OR ((((triple3) -> rule2)) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule6) OR ((((triple6) -> rule4) triple3) -> rule6))]
("Harry" "is" "white" "-")
triple7
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple3) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Fiona is round.
True
2
proof
[(((triple2) -> rule7))]
("Fiona" "is" "round" "+")
((triple2) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule7))]
("Fiona" "is" "round" "-")
((triple2) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule4))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "blue" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is blue.[(triple1)] Fiona is white.[(triple2)] Harry is big.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is round.[(triple6 OR ((triple7) -> rule7) OR ((((((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((triple4) -> rule3)) -> rule5)) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule6)) -> rule7) OR ((((((triple4) -> rule3) triple3) -> rule6)) -> rule7))] Harry is white.[(triple7 OR ((((triple3) -> rule2)) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule6) OR ((((triple6) -> rule4) triple3) -> rule6))] @1: Fiona is round.[(((triple2) -> rule7))] Harry is smart.[(((triple3) -> rule2) OR ((triple4) -> rule3) OR ((triple6) -> rule4) OR ((((triple7) -> rule7)) -> rule4))] @2: Fiona is smart.[(((((triple2) -> rule7)) -> rule4))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
((triple7) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3) -> (rule6 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple4) -> (rule3 % int3)) triple3) -> (rule6 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple7
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple3) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple4) -> (rule3 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple4) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple6) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2