Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is not smart. Fiona is kind. Fiona is rough. Harry is green. Harry is not red. Harry is not smart. Young, green people are round. All smart, kind people are round. If someone is green then they are young. If someone is green and smart then they are young. If someone is rough and smart then they are young. If Charlie is not green then Charlie is rough. If Charlie is kind and Charlie is young then Charlie is round. If Charlie is kind and Charlie is not green then Charlie is smart.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is not smart.
("Harry" "is" "smart" "-")
Young, green people are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All smart, kind people are round.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and smart then they are young.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and smart then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If Charlie is not green then Charlie is rough.
((("Charlie" "is" "green" "~")) -> ("Charlie" "is" "rough" "+"))
If Charlie is kind and Charlie is young then Charlie is round.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "round" "+"))
If Charlie is kind and Charlie is not green then Charlie is smart.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "green" "~")) -> ("Charlie" "is" "smart" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "smart" "+")
triple5
Harry is young.
True
2
proof
[(((triple8) -> rule3))]
("Harry" "is" "young" "+")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple8) -> rule3))]
("Harry" "is" "young" "-")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
True
4
proof
[(((((triple8) -> rule3) triple8) -> rule1))]
("Harry" "is" "round" "+")
((((triple8) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple8) -> rule3) triple8) -> rule1))]
("Harry" "is" "round" "-")
((((triple8) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is kind.[(triple1)] Charlie is not smart.[(triple5)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7)] Harry is green.[(triple8)] Harry is not red.[(triple9)] Harry is not smart.[(triple10)] @1: Harry is young.[(((triple8) -> rule3))] @2: Harry is round.[(((((triple8) -> rule3) triple8) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is not red.
("Harry" "is" "red" "-")
triple9
Harry is not smart.
("Harry" "is" "smart" "-")
triple10
Harry is young.
("Harry" "is" "young" "+")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple8) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2