Dave is young. Fiona is young. Gary is smart. Harry is red. Red people are not quiet. If someone is big then they are smart. Big, red people are smart. All young, smart people are green. If someone is quiet then they are young. All young people are big. If someone is quiet and not smart then they are round. Red people are round.
Dave is young.
("Dave" "is" "young" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Red people are not quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "-"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Big, red people are smart.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All young, smart people are green.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet and not smart then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "round" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Harry is red.
True
1
proof
[(triple4)]
("Harry" "is" "red" "+")
triple4
Harry is not red.
False
1
inv-proof
[(triple4)]
("Harry" "is" "red" "-")
triple4
Harry is not quiet.
True
2
proof
[(((triple4) -> rule1))]
("Harry" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is not round.
False
2
inv-proof
[(((triple4) -> rule8))]
("Harry" "is" "round" "-")
((triple4) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule6)) -> rule2))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
True
5
proof
[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule4))]
("Fiona" "is" "green" "+")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not green.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule4))]
("Fiona" "is" "green" "-")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Harry" "is" "green" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Dave is young.[(triple1)] Fiona is young.[(triple2)] Gary is smart.[(triple3)] Harry is red.[(triple4)] @1: Dave is big.[(((triple1) -> rule6))] Fiona is big.[(((triple2) -> rule6))] Harry is not quiet.[(((triple4) -> rule1))] Harry is round.[(((triple4) -> rule8))] @2: Dave is smart.[(((((triple1) -> rule6)) -> rule2))] Fiona is smart.[(((((triple2) -> rule6)) -> rule2))] @3: Dave is green.[(((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))] Fiona is green.[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule4))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple4) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3